Andrzej SzaŁas : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (76)
Les plus populaires
Liste
- Liste
- Tableau

1

Combustion Reactions of Poly(Carbon Monofluoride), (CF)n, with Different Reductants and Characterization of the Products

Stanisław Cudziło, Mateusz Szala, Andrzej Huczko, Michał Bystrzejewski

Journal:

Propellants, Explosives, Pyrotechnics

Année:

2007

Langue:

english

Fichier:

PDF, 551 KB

english, 2007

2

Arithmetical axiomatization of first-order temporal logic

Journal:

Information Processing Letters

Année:

1987

Langue:

english

Fichier:

PDF, 332 KB

english, 1987

3

Second-order reasoning in description logics

Szalas, Andrzej

Journal:

Journal of Applied Non-Classical Logics

Année:

2006

Langue:

english

Fichier:

PDF, 117 KB

english, 2006

4

[IEEE 2014 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT) - Warsaw, Poland (2014.8.11-2014.8.14)] 2014 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT) - Lightweight Reasoning with Incomplete and Inconsistent Information: A Case Study

Bialek, Lukasz, Szalas, Andrzej

Année:

2014

Langue:

english

Fichier:

PDF, 248 KB

english, 2014

5

Logical foundations and complexity of 4QL, a query language with unrestricted negation

Maluszyński, Jan, Szalas, Andrzej

Journal:

Journal of Applied Non-Classical Logics

Année:

2011

Langue:

english

Fichier:

PDF, 221 KB

english, 2011

6

Approximate databases: a support tool for approximate reasoning

Doherty, Patrick, Magnusson, Martin, Szalas, Andrzej

Journal:

Journal of Applied Non-Classical Logics

Année:

2006

Langue:

english

Fichier:

PDF, 311 KB

english, 2006

7

Second-Order Quantifier Elimination in Higher-Order Contexts with Applications to the Semantical Analysis of Conditionals

Dov M. Gabbay, Andrzej Szałas

Journal:

Année:

2007

Langue:

english

Fichier:

PDF, 203 KB

english, 2007

8

Computing Circumscription Revisited: A Reduction Algorithm

Patrick Doherty, Witold Łukaszewicz, Andrzej SzaŁas

Journal:

Journal of Automated Reasoning

Année:

1997

Langue:

english

Fichier:

PDF, 377 KB

english, 1997

9

Towards incorporating background theories into quantifier elimination

Szalas, Andrzej

Journal:

Journal of Applied Non-Classical Logics

Année:

2008

Langue:

english

Fichier:

PDF, 237 KB

english, 2008

10

Foreword

Orlowska, Ewa, Policriti, Alberto, Szalas, Andrzej

Journal:

Journal of Applied Non-Classical Logics

Année:

2006

Langue:

english

Fichier:

PDF, 20 KB

english, 2006

11

Toxic effect assessment of aminotetrazoles and high-energetic azotetrazole salts on soil microbial respiration

Borkowski, Andrzej, Szala, Mateusz

Journal:

Chemistry and Ecology

Année:

2014

Langue:

english

Fichier:

PDF, 822 KB

english, 2014

12

Converse-PDL with regular inclusion axioms: a framework for MAS logics

Dunin-Kęplicz, Barbara, Nguyen, Linh Anh, Szalas, Andrzej

Journal:

Journal of Applied Non-Classical Logics

Année:

2011

Langue:

english

Fichier:

PDF, 341 KB

english, 2011

13

Influence of 1,2,4,5-tetrazine derivatives on growth of bacterial consortium isolated from soil

Borkowski, Andrzej, Szala, Mateusz, Wolicka, Dorota

Journal:

Chemistry and Ecology

Année:

2011

Langue:

english

Fichier:

PDF, 285 KB

english, 2011

14

Towards richer rule languages with polynomial data complexity for the Semantic Web

Nguyen, Linh Anh, Nguyen, Thi-Bich-Loc, Szałas, Andrzej

Journal:

Data & Knowledge Engineering

Année:

2015

Langue:

english

Fichier:

PDF, 447 KB

english, 2015

15

On the Correspondence Between Modal and Classical Logic: an Automated Approach

SZALAS, ANDRZEJ

Journal:

Journal of Logic and Computation

Année:

1993

Langue:

english

Fichier:

PDF, 750 KB

english, 1993

16

On an automated translation of modal proof rules into formulas of the classical logic

Szalas, Andrzej

Journal:

Journal of Applied Non-Classical Logics

Année:

1994

Langue:

english

Fichier:

PDF, 600 KB

english, 1994

17

The effects of welding parameters on the tensile shear strength of refill friction stir spot welding of 7075-T6 aluminium alloy joints

Wydrzyński, Dawid, Bucior, Magdalena, Kubit, Andrzej, Borys, M., Czyż, Z., Falkowicz, K., Kujawska, J., Kulisz, M., Szala, M.

Journal:

ITM Web of Conferences

Année:

2017

Langue:

english

Fichier:

PDF, 766 KB

english, 2017

18

Combustion Synthesis as a Novel Method for Production of 1-D SiC Nanostructures.

Andrzej Huczko, Michal Bystrzejewski, Hubert Lange, Agnieszka Fabianowska, Stanislaw Cudzilo, Andrzej Panas, Mateusz Szala

Journal:

Année:

2005

Fichier:

PDF, 10 KB

2005

19

Concerning the semantic consequence relation in first-order temporal logic

Journal:

Theoretical Computer Science

Année:

1986

Langue:

english

Fichier:

PDF, 332 KB

english, 1986

20

Incompleteness of first-order temporal logic with until

Andrzej Szalas, Leszek Holenderski

Journal:

Theoretical Computer Science

Année:

1988

Langue:

english

Fichier:

PDF, 1.06 MB

english, 1988

21

On strictly arithmetical completeness in logics of programs

Journal:

Theoretical Computer Science

Année:

1991

Langue:

english

Fichier:

PDF, 892 KB

english, 1991

22

Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic

Barbara Dunin-Ke¸plicz, Linh Anh Nguyen, Andrzej Szałas

Journal:

International Journal of Approximate Reasoning

Année:

2010

Langue:

english

Fichier:

PDF, 835 KB

english, 2010

23

Voting by Eliminating Quantifiers

Dov M. Gabbay, Andrzej Szałas

Journal:

Année:

2009

Langue:

english

Fichier:

PDF, 232 KB

english, 2009

24

Annotation Theories over Finite Graphs

Dov M. Gabbay, Andrzej Szałas

Journal:

Année:

2009

Langue:

english

Fichier:

PDF, 374 KB

english, 2009

25

ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse

Linh Anh Nguyen, Andrzej Szałas

Journal:

Année:

2011

Langue:

english

Fichier:

PDF, 402 KB

english, 2011

26

Axiomatizing fixpoint logics

Journal:

Information Processing Letters

Année:

1992

Langue:

english

Fichier:

PDF, 606 KB

english, 1992

27

A complete axiomatic characterization of first-order temporal logic of linear time

Journal:

Theoretical Computer Science

Année:

1987

Langue:

english

Fichier:

PDF, 1.83 MB

english, 1987

28

Communication between agents with heterogeneous perceptual capabilities

Patrick Doherty, Witold Łukaszewicz, Andrzej Szałas

Journal:

Information Fusion

Année:

2007

Langue:

english

Fichier:

PDF, 329 KB

english, 2007

29

A new cholesterol derivative suitable for transfecting certain type of cells in the presence of 10% serum

Sochanik, Aleksander, Kaida, Irina, Mitrus, Iwona, Rajca, Andrzej, Szala, Stanisław

Journal:

Cancer Gene Therapy

Année:

2000

Langue:

english

Fichier:

PDF, 359 KB

english, 2000

30

Surface properties of carbons obtained from hexachlorobenzene and hexachloroethane by combustion synthesis

Stanisław Cudziło, Andrzej Huczko, Maciej Pakuła, Stanisław Biniak, Andrzej Świątkowski, Mateusz Szala

Journal:

Année:

2007

Langue:

english

Fichier:

PDF, 361 KB

english, 2007

31

An incompleteness result in process algebra

Journal:

Information Processing Letters

Année:

1988

Langue:

english

Fichier:

PDF, 342 KB

english, 1988

32

Propositional description of finite cause-effect structures

Leszek Holenderski, Andrzej Szalas

Journal:

Information Processing Letters

Année:

1988

Langue:

english

Fichier:

PDF, 610 KB

english, 1988

33

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1996 Volume 1113 || Partial order reduction: Model-checking using representatives

Penczek, Wojciech, Szałas, Andrzej

Année:

1996

Langue:

english

Fichier:

PDF, 1.16 MB

english, 1996

34

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1996 Volume 1113 || From specifications to programs: A fork-algebraic approach to bridge the gap

Penczek, Wojciech, Szałas, Andrzej

Année:

1996

Langue:

english

Fichier:

PDF, 599 KB

english, 1996

35

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1996 Volume 1113 || Models of DNA computation

Penczek, Wojciech, Szałas, Andrzej

Année:

1996

Langue:

english

Fichier:

PDF, 1.06 MB

english, 1996

36

WORL: a nonmonotonic rule language for the semantic web

Cao, Son Thanh, Nguyen, Linh Anh, Szałas, Andrzej

Journal:

Vietnam Journal of Computer Science

Année:

2014

Langue:

english

Fichier:

PDF, 370 KB

english, 2014

37

A new heterostructures fabrication technique and properties of produced SbSI/Sb2S3 heterostructures

Toroń, Bartłomiej, Nowak, Marian, Kępińska, Mirosława, Grabowski, Andrzej, Szala, Janusz, Szperlich, Piotr, Malka, Iwona, Rzychoń, Tomasz

Journal:

Optics and Lasers in Engineering

Année:

2014

Langue:

english

Fichier:

PDF, 1.12 MB

english, 2014

38

Toxicity assessment of SiC nanofibers and nanorods against bacteria

Szala, Mateusz, Borkowski, Andrzej

Journal:

Ecotoxicology and Environmental Safety

Année:

2014

Langue:

english

Fichier:

PDF, 1.73 MB

english, 2014

39

Combustion Synthesis as a Novel Method for Production of 1-D SiC Nanostructures

Huczko, Andrzej, Bystrzejewski, Michał, Lange, Hubert, Fabianowska, Agnieszka, Cudziło, Stanisław, Panas, Andrzej, Szala, Mateusz

Journal:

Journal of Physical Chemistry B

Année:

2005

Langue:

english

Fichier:

PDF, 1.07 MB

english, 2005

40

Antitumor Effects of Recombinant Antivascular Protein ABRaA-VEGF121Combined with IL-12 Gene Therapy

Ciomber, Agnieszka, Smagur, Andrzej, Mitrus, Iwona, Cichoń, Tomasz, Smolarczyk, Ryszard, Sochanik, Aleksander, Szala, Stanisław, Jarosz, Magdalena

Journal:

Archivum Immunologiae et Therapiae Experimentalis

Année:

2014

Langue:

english

Fichier:

PDF, 2.00 MB

english, 2014

41

Paraconsistent semantics of speech acts

Dunin-Kȩplicz, Barbara, Strachocka, Alina, Szałas, Andrzej, Verbrugge, Rineke

Journal:

Année:

2015

Langue:

english

Fichier:

PDF, 944 KB

english, 2015

42

[IEEE 2011 Third International Conference on Knowledge and Systems Engineering (KSE) - Hanoi, Vietnam (2011.10.14-2011.10.17)] 2011 Third International Conference on Knowledge and Systems Engineering - WORL: A Web Ontology Rule Language

Cao, Son Thanh, Nguyen, Linh Anh, Szalas, Andrzej

Année:

2011

Langue:

english

Fichier:

PDF, 247 KB

english, 2011

43

Adsorption studies of azotetrazolate and 3,6-dihydrazinotetrazine on peat

Borkowski, Andrzej, Rydelek, Paweł, Szala, Mateusz

Journal:

Journal of Environmental Science and Health Part A

Année:

2013

Langue:

english

Fichier:

PDF, 304 KB

english, 2013

44

Adsorption Studies of the Gram-Negative Bacteria onto Nanostructured Silicon Carbide

Borkowski, Andrzej, Szala, Mateusz, Cłapa, Tomasz

Journal:

Applied Biochemistry and Biotechnology

Année:

2015

Langue:

english

Fichier:

PDF, 832 KB

english, 2015

45

Mannose-Binding Lectin (MBL) and MBL-associated serine protease-2 (MASP-2) in women with malignant and benign ovarian tumours

Swierzko, Anna St., Szala, Agnieszka, Sawicki, Sambor, Szemraj, Janusz, Sniadecki, Marcin, Sokolowska, Anna, Kaluzynski, Andrzej, Wydra, Dariusz, Cedzynski, Maciej

Journal:

Cancer Immunology, Immunotherapy

Année:

2014

Langue:

english

Fichier:

PDF, 417 KB

english, 2014

46

[IEEE 2012 Fourth International Conference on Knowledge and Systems Engineering (KSE) - Danang, Vietnam (2012.08.17-2012.08.19)] 2012 Fourth International Conference on Knowledge and Systems Engineering - Concept Learning for Description Logic-Based Information Systems

Tran, Thanh-Luong, Ha, Quang-Thuy, Hoang, Thi-Lan-Giao, Nguyen, Linh Anh, Nguyen, Hung Son, Szalas, Andrzej

Année:

2012

Langue:

english

Fichier:

PDF, 256 KB

english, 2012

47

Oxidative stress in bacteria (Pseudomonas putida) exposed to nanostructures of silicon carbide

Borkowski, Andrzej, Szala, Mateusz, Kowalczyk, Paweł, Cłapa, Tomasz, Narożna, Dorota, Selwet, Marek

Journal:

Année:

2015

Langue:

english

Fichier:

PDF, 1.68 MB

english, 2015

48

[Studies in Fuzziness and Soft Computing] Relational Methods for Computer Science Applications Volume 65 || Relations Old and New

Orłowska, Ewa, Szałas, Andrzej

Année:

2001

Langue:

english

Fichier:

PDF, 1.07 MB

english, 2001

49

Microstructural Phenomena Occurring during Early Stages of Cavitation Erosion of Al-Si Aluminium Casting Alloys

Dybowski, Bartłomiej, Szala, Mirosław, Kiełbus, Andrzej, Hejwowski, Tadeusz

Journal:

Solid State Phenomena

Année:

2015

Langue:

english

Fichier:

PDF, 1.10 MB

english, 2015

50

Exception handling in parallel computations

Szalas, Andrzej, Szczepanska, Danuta

Journal:

ACM SIGPLAN Notices

Année:

1985

Langue:

english

Fichier:

PDF, 633 KB

english, 1985